[Haskell-cafe] The possibility of a real OS based on Haskell zippers