Test.hascasl revision 138171c3cc3f514dd975dc2c28474c028a2dc719
type B,C,Int
free type AT ::= A Int
ops + : AT * B -> C