Module type Monad.TYPEWRAPPER


module type TYPEWRAPPER = sig .. end
module-type to represent generic states used by state-monad

type t 
val init : t