Fixed up the constraints

I also had one of the Monad laws wrong.