是否可以在C++中实现Haskell类型类？如果是，那怎么办？
关于这一点，有几篇论文可能对背景阅读很有用:
C++ templates/traits versus Haskell type classes，Sunil Kothari，Martin Sulzmann A Comparative Study of Language Support for Generic Programming，罗纳德·加西亚(Ronald Garcia)，贾科·雅维(JaakkoJärvi)，安德鲁·伦姆斯达因(Andrew Lumsdaine)，杰里米·西克(Jeremy Siek)，耶利米·威尔科克(Jeremiah Willcock)