Rename MonadInstanceLaws.