I think Mark Dominus writes Haskell nowadays. "Byzantine compiler errors" is what I guess you have come to expect from (mis-)use of pre-C++20 templates. But th

I think Mark Dominus writes Haskell nowadays. "Byzantine compiler errors" is what I guess you have come to expect from (mis-)use of pre-C++20 templates. But the overwhelming majority of type operations in actually high-level languages like C++ and Haskell cannot result in compiler error messages, and simply perform useful busy-work you therefore need not.