fact: Definition ReaderT (X : Type) (M : Type -> Type) (Y : Type) : Type := X -> M Y.
imports: Hask.Prelude Hask.Control.Monad Hask.Control.Monad.Trans.Class Hask.Control.Monad.Morph Hask.Control.Impl Hask.Control.Compose