Control.Monad.Trans.Compose
ComposeT
data
ComposeT
f g m a