This is one of the better uses of Macros + Type System I've seen to enforce correct behavior and get better performance.