ListEx.hascasl revision bada0c99c6398c209ec9c6a9f5b316b7b5c99b33
var a :Type+
free type List a ::= Nil | Cons(head : a; tail : List a)