NS.Monad
module type S = sig ... end
module Make (M : sig ... end) : S with type 'a t = 'a M.t
module State (State : sig ... end) : sig ... end