Re: [GHC] #7401: Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so.