typed-contracts (npm): Validation with good Flow and TypeScript type inference
Keywords: TypeScript|TS|Flow|Flowtype|contracts|validation|type inference