jpcima/narrowed-types

Type definitions narrowed with predicates

View project on GitHub