Remove Monad constraints where they are implied by other constraints

As suggested by illissius@reddit