- Original Message -
> From: "Brian Goetz"
> To: "amber-spec-experts"
> Sent: Wednesday, March 30, 2022 9:33:21 PM
> Subject: Patterns and GADTs (and type checking and inference and overload
> selection)
> GADTs -- sealed families whose permitted subtypes specialize the type
>
GADTs -- sealed families whose permitted subtypes specialize the type
variables of the base class -- pose some interesting challenges for
pattern matching.
(Remi: this is a big, complex area. Off-the-cuff "this is wrong" or
"you should X instead" replies are not helpful. If in doubt, ask