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