class Show a where show :: a -> String class Read a where read :: String -> a combine x = show (read x) -- 9:13-9:17: Constrain Show a contains free variables not mentioned in the type of the value. 9:19-9:23: Constrain Read a contains free variables not mentioned in the type of the value.