[Haskell-beginners] Haskell-style types in C or C++