lawful (hackage): Assert the lawfulness of your typeclass instances.
Keywords: bsd3|library|safe