id0 () = ()

id0A :: () -> ()
id0A () = ()

id2 (a,b) = (a,b)

id2A :: (a,b) -> (a,b)
id2A (a,b) = (a,b)

id3 (a,b,c) = (a,b,c)

id3A :: (a,b,c) -> (a,b,c)
id3A (a,b,c) = (a,b,c)

main = id3 (1 :: Integer,id0 (),3 :: Integer)
--
(1,(),3)