type-flow-macros