Comment by littleroot

Feels like type refinement via pattern matching on GADTs is more expressive than this