Remove extra Monad constraints