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