
AssocTyDef01.hs:9:10:
    `OtherType' is not a (visible) associated type of class `Cls'
