Adds common stuff.
Removes the laws that don't apply to this monad.