This is really neat! You may want to also look at https://github.com/gcanti/babel-plugin-tcomb for some inspiration- I've used tcomb extensively for runtime ADT and typing, but using just Flow would be an interesting challenge!