cool libs with refinements https://github.com/gcanti/newtype-ts https://github.com/gcanti/io-ts read more blogpost by ☝ guy - https://dev.to/gcanti/functional-design-smart-constructors-14nb Refined TypeScript - https://goto.ucsd.edu/~pvekris/docs/pldi16.pdf https://en.wikipedia.org/wiki/Refinement_type
