Remove monad constraints