3 ms·Feels like type refinement via pattern matching on GADTs is more expressive than thisby littleroot 5y agoFeels like type refinement via pattern matching on GADTs is more expressive than this