That is, the following compiles: data Unit = Unit instance eqUnit :: Eq Unit where eq _ _ = true
That is, the following compiles: