-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
+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)
+--