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