pipe: use lift of MonadTrans instead of liftP