Performance wasn't actually a goal, since it was just a code generator tool and was still much faster than the C++ compiler that runs on its output. I was also

Performance wasn't actually a goal, since it was just a code generator tool and was still much faster than the C++ compiler that runs on its output. I was also using Integer rather than Int everywhere (I didn't realize when I started that Integer = BigInt). Yeah, most (perhaps all) design challenges where I want vtables can be solved elegantly in some other way in Haskell, but the solution depends on the use case and isn't a simple bijection. It's just tough to rewire the way the designs form in my head before I write the code. If I had infinite time...