Improved types narrowing by passing predicates to narrowing function
Improved types narrowing by passing predicates to narrowing function

caterinaurban/Typpete,gitsimon/spadup-lyra,caterinaurban/Typpete,caterinaurban/Lyra