// This is just a restricted version of Tuples test
id0 () = ()

main = id0 ()
--
()