[Haskell-cafe] Exploring Programming Language Theory