Also worth checking out: tcomb[0] which can let you use your Flow types at runtime for eg; pattern matching.
[0] https://github.com/gcanti/tcomb