> This comes with downsides around dicking around with trying to jam every part of the computation into the type system (not unlike C++ template meta programmin

> This comes with downsides around dicking around with trying to jam every part of the computation into the type system (not unlike C++ template meta programming). I'm not sure why you say this is dicking around as the payoffs for moving things higher up are usually orders of magnitude better