ERROR "test/static/s046.hs" (line 4): Class hierarchy for "C2" is not acyclic