Test of lifting a function to a monad tranformer