[Haskell-cafe] SystemF, universal quantification, and rigid type variables
kumoyuki at gmail.com
Fri Mar 7 12:01:12 UTC 2014
So I posted:
> In short, I'm trying to decide if there is a real difference between the
> (forall a.a) -> b
> a -> b
> and frankly, I'm not seeing a difference... I'd actually love to be wrong.
> Is there an actual difference between the types?
And Ruud Koot and Nikolay Kudasov both told me:
Thanks, y'all. That actually means I was doing it right :)
More information about the Haskell-Cafe