
AssocTyDef05.hs:6:5:
    Number of parameters must match family declaration; expected 1
    In the type synonym instance default declaration for `Typ'
    In the class declaration for `Cls'
