Hi, I'm trying to get some better understanding of the theoretical foundations
behind Haskell. I wonder, where exactly does Haskell type system fit within the
lambda cube? <http://en.wikipedia.org/wiki/Lambda_cube>
I guess it could also vary depending on what extensions are turned on.
Thanks, Petr