ListEx.hascasl revision 3a184d717836f004116f7e9455d116e8a06b2499
var a : +Type
free type List a ::= Nil | Cons(myhead : a; List a)