ListF.Infix
module Functor : sig ... end
module Apply : sig ... end
module Monad : sig ... end
module Alt : sig ... end