
AssocTyDef02.hs:6:5:
    Type indexes must match class instance head
    Found `b' but expected `a'
    In the type synonym instance default declaration for `Typ'
    In the class declaration for `Cls'
