instances is:exact

Given a Purescript type, generate instances for typeclass instances it claims to have.
typeclass instance information for Eq, Ord and Listable
Used in the definition of subInstances in Generalizable typeclass instances.