--- /dev/null
+// 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
+OK
\ No newline at end of file