How do you lift a binary function to monad transformers