[Haskell-cafe] Impredicative Types