Re: [Haskell-cafe] Confused about type seen in the wild

On Thu, 10 Apr 2014 11:44:25 -0700, Alexander Solla wrote:

On Thu, Apr 10, 2014 at 11:40 AM, Andres Löh wrote: I don't have a GHC 7.8 handy. Can you check to see if:

whee :: Show a => Eq a => (a -> Bool)

works over there?

It does, see:

λ let whee :: Show a => Eq a => (a -> Bool); whee x = x == x && null (show x) λ :t whee whee :: (Show a, Eq a) => a -> Bool