Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell