Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/tests/nofib/real/anna/bury.cor
list a ::= Nil | Cons a (list a); quad a b c d ::= MkQuad a b c d; ;; bury x = MkQuad (Cons (Cons (Cons x Nil) Nil) Nil) (Cons (Cons (Cons x Nil) Nil) Nil) (Cons (Cons (Cons x Nil) Nil) Nil) (Cons (Cons (Cons x Nil) Nil) Nil);
