instances package:extrapolate

Used in the definition of subInstances in Generalizable typeclass instances.
Computes a list of reified subtype instances. Defaults to id. See instances.
Allows the user to customize instance information available when generalized. (For advanced users.)