@hackage universe-reverse-instances1.1.2

Instances of standard classes that are made possible by enumerations

For example this package provides a Eq (a -> b) instance:

instance (Finite a, Eq b) => Eq (a -> b) where
f == g = and [f x == g x | x <- universeF]