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

On Thu, Apr 10, 2014 at 10:45 AM, Kim-Ee Yeoh wrote:

And to recover the named binding:

let whee = (\x -> x == x && null (show x)) :: Show a => Eq a => a => Bool

Right, or even: Prelude λ> :t let whee x = x == x && null (show x) in whee :: Show a => Eq a => a => Bool let whee x = x == x && null (show x) in whee :: Show a => Eq a => a => Bool :: (Eq a, Show a) => a -> Bool Which is what I think I meant to type initially but then confused myself and also misread the type error :) Jason