Ulf Wiger wrote: > > h(X) -> > Y = case X of > a -> > {a} > b -> > {b} > end > Y Granted I've not read Okasaki's blog, but why would you have the above instead of: h(X) -> Y = case X of a -> {a} b -> {b} end Y Kostis