I was wondering what are the costs of evaluation time and memory usage when using specialisations.
I did realize, for instance, that, when having two specialisations, builtins.trace
messages would show up twice, which makes me think that they are being evaluated twice. If this is true, does memory capacity needs to account for memory usage of one evaluation at a time or of all of them?