module Monad:minimalistic monad-type, primary used for quick definitionssig
..end
module type MONAD_MINIMAL =sig
..end
module type MONAD =sig
..end
module type TYPEWRAPPER =sig
..end
module Identity:sig
..end
module Option:sig
..end
module Exception:sig
..end
module State:
module IO:sig
..end