3 ms·Is this something like GADT's?by throwaway81523 5y agoIs this something like GADT's?littleroot 5y agoFeels like type refinement via pattern matching on GADTs is more expressive than this