Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/tests/nofib/real/anna/bug_types1.cor
list a ::= Nil a; type ::= EAp (type) | ELet (type); ;; listId l1 = case l1 of Nil n -> Nil n end; allBinders e = case e of EAp x -> listId (allBinders x); ELet y -> listId (allBinders y) end;