Attempt to prove MonadTrans instance