1 2 3 4 5
tcfail027.hs:4:1: Cycle in class declarations (via superclasses): tcfail027.hs:(4,1)-(5,14): class B a => A a tcfail027.hs:(7,1)-(8,19): class A a => B a