C++ fits the bill as well (!) I wager that you can get pretty far with compile-time macros, even as rudimentary as C's, to encoder a fair bit of generic monad

C++ fits the bill as well (!) I wager that you can get pretty far with compile-time macros, even as rudimentary as C's, to encoder a fair bit of generic monad machinery.