Re: [Haskell-cafe] Statically tracking "validity" - suggestions?