Eq package:ghc

int and float
An EqSpec is a tyvar/type pair representing an equality made in rejigging a GADT constructor
A type equality predicate, (t1 ~#N t2) or (t1 ~#R t2)
A choice of equality relation. This is separate from the type Role because Phantom does not define a (non-trivial) equality relation.
What to do after match
Equality: ==
Name of the function
Equality Variable
Tests whether the two located things are equal