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

[Jason Dagit]

On Thu, Apr 10, 2014 at 10:45 AM, Kim-Ee Yeoh <ky3 at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140410/11fc8dfc/attachment.html>