It seems like there isn't ever really a need to dispatch on these type parameters. The cost of compiling a different version of each function almost certainly outweighs any speedup we might get by specializing on these parameters. They should be relegated to regular old fields.
It seems like there isn't ever really a need to dispatch on these type parameters. The cost of compiling a different version of each function almost certainly outweighs any speedup we might get by specializing on these parameters. They should be relegated to regular old fields.