Make.B
type t
The type of the state.
module Inner : Base.Monad.S
Inner is the monad to which we're adding state.
Inner