We're potentially over-using @generated quite a bit, which sometimes leads to blow-up in compilation times, etc.
Might be worth reducing this, e.g. using more recursion, and leaving it the decision of whether or not something should be compiled away to the compiler.
We're potentially over-using
@generatedquite a bit, which sometimes leads to blow-up in compilation times, etc.Might be worth reducing this, e.g. using more recursion, and leaving it the decision of whether or not something should be compiled away to the compiler.