--- /dev/null
+\r
+\r
+class Show a where\r
+ show :: a -> String\r
+ \r
+class Read a where\r
+ read :: String -> a\r
+ \r
+combine x = show (read x)\r
+--\r
+9:13-9:17: Constrain Show a contains free variables not mentioned in the type of the value.\r
+9:19-9:23: Constrain Read a contains free variables not mentioned in the type of the value.
\ No newline at end of file