Fang_monads
module type STATE = sig ... end
module State : functor (K : sig ... end) -> STATE with type state = K.t