To implement
Eq
, we requiref
to have higher-kinded equality.