
AssocTyDef08.hs:4:10:
    `Typ' is not a (visible) associated type of class `Cls'
