Control.Monad.Trans.Compose

data ComposeT s t m a