@hackage / lawful

Assert the lawfulness of your typeclass instances.