[Haskell-cafe] program description based programming