fun nil () = ()