`Eq` is the typeclass form of `equals`
# arrow
p
Eq
is the typeclass form of
equals