AssocTyDef06.hs:6:5:
    Number of parameters must match family declaration; expected 1
    In the default type instance declaration for ‘Typ’
    In the class declaration for ‘Cls’