
AssocTyDef03.hs:6:5:
    Wrong category of family instance; declaration was for a data type
    In the type synonym instance default declaration for `Typ'
    In the class declaration for `Cls'
