MonadLib.Derive
data Iso m n
derive_fmap
derive_pure
derive_apply
derive_empty
derive_or
derive_return
derive_bind
derive_fail
derive_mzero
derive_mplus
derive_mfix
derive_ask
derive_local
derive_put
derive_collect
derive_get
derive_set
derive_raise
derive_try
derive_callWithCC
derive_abort
derive_lift
derive_inBase
derive_runM