Alleycats provides type class instances and classes which are not lawful but may be useful in some scenarios