solve 6_MonadTrans