Swapping type-safety for high performance using compiler directives

An experiment: you can use lots of domain modelling types at development time and swap them out for a more performant implementation later using compiler directives.