Example of using (Control.Monad.Trans.Class.lift)