orphan instances, of 'Enumerate'\/'Eq'\/'Show', for functions:

• instance (Enumerable a, Enumerable b, Ord a,  Ord b)  => Enumerable (a -> b)

• instance (Enumerable a,               Eq b)           => Eq         (a -> b)

• instance (Enumerable a,               Show a, Show b) => Show       (a -> b)

see:

• functionEnumerated, functionCardinality
• extensionallyEqual, extensionallyUnequal
• functionShowsPrec

(that are included for completeness, but not exported by default (i.e. by Enumerate). you probably want build-time instance-resolution errors, rather than possible runtime non-termination).

-- doctest

>>> :set -XLambdaCase