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

[Niklas Haas]

On Thu, 10 Apr 2014 11:44:25 -0700, Alexander Solla <alex.solla at gmail.com> wrote:
> On Thu, Apr 10, 2014 at 11:40 AM, Andres Löh <andres at well-typed.com> 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