val rec nil = fn () => ()