I think there is already something called this:

https://github.com/twitter/algebird/blob/develop/algebird-test/src/main/scala/com/twitter/algebird/MonadLaws.scala

Can we change it MonadInstanceLaws (or something) to be clear we are testing a few specific monads.