d29201dd5328b88140ce050100693c501852657dChristian Maedervar a : +Type

8cc6f43935309fe1206828425baf6fc35a88d575Martin Kühlfree type List a ::= Nil | Cons(myhead : a; List a)

e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elkner