Declarative static and runtime type checking with Flow
github.com/gmazovec/flow-typer
gmazovec/flow-typer