assert-combinators

It's true, I like the feel of Haskell type annotations as well, but I'm working with js/flow in day-to-day job; finding mysqlf moving towards those one-line-type-annoations to mimick Haskell, I'm surprised flow actually handles most of the code, even not so trivial ones; inference is good enough that those one liners are most of the time all that's needed, examples are here [1] [2] [3] if somebody wants to peek. [1] https://github.com/appliedblockchain/tsql/ [2] https://github.com/appliedblockchain/parser-combinators [3] https://github.com/appliedblockchain/assert-combinators

Something similar, but for flow and focused more on functional combinators https://github.com/appliedblockchain/assert-combinators