[Haskell-cafe] Eternal Compatibility in Theory