On Thu, Apr 10, 2014 at 10:45 AM, Kim-Ee Yeoh <ky3@atamo.com> 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