hugs accepts derivings for classes when it can't provide the definition

[Ian Lynagh]

hugs accepts

    data D a = D a
        deriving (Show)

despite not being able to derive the instance. This goes against

    There is a context cx' such that cx' =>C tij holds for each of the
    constituent types tij."

in appendix D of the report.


Ian