-// Idea here is that the type variable in the top level type annotation\r
-// and the type annotation in the expression should be the same type.\r
-id :: a -> a\r
-id x = (x :: a)\r
-\r
-main = id "OK"\r
---\r
+// Idea here is that the type variable in the top level type annotation
+// and the type annotation in the expression should be the same type.
+id :: a -> a
+id x = (x :: a)
+
+main = id "OK"
+--
OK
\ No newline at end of file