Haskell-98 Quiz

[Magnus Carlsson]

Here are some questions for the Haskell-98 enthusiasts.

1. Why is the following declaration group illegal?

  f :: String
  f = g 1 ++ g True

  g :: Show a => a -> String
  g x = fst (show x, show f)

2. Is there a way to modify the signatures to make it legal?

/M