+id0 () = ()\r
+\r
+id0A :: () -> ()\r
+id0A () = ()\r
+\r
+id2 (a,b) = (a,b)\r
+\r
+id2A :: (a,b) -> (a,b)\r
+id2A (a,b) = (a,b)\r
+\r
+id3 (a,b,c) = (a,b,c)\r
+\r
+id3A :: (a,b,c) -> (a,b,c)\r
+id3A (a,b,c) = (a,b,c)\r
+\r
+main = id3 (1 :: Integer,id0 (),3 :: Integer)\r
+--\r
+(1,(),3)
\ No newline at end of file