Test.hascasl revision 313432da96e1e56cf01a96223edc77dc8895bc52
type B,C,Int
free type AT ::= A (f1,f2 : Int; f2 : B)
ops + : AT * B -> C
type s < B