Control.Monad.Trans.Compose

ComposeT

data ComposeT f g m a