new haskell project (Was Re: [Haskell-cafe] Subtype polymorphism in Haskell)