Deriving Eq allows equality checks.
Deriving instances.