Hi,
I’m trying to use Type Constraints on a type constructor in a forall
data Action =
Inc
| Dec
| MakeEditable (forall a b r1. Lacks a r1 => Cons a b r1 PersonRow => SProxy a)
| ChangeCurrent (forall l b r1. IsSymbol l => Lacks l r1 => Cons l b r1 PersonRow => Tuple b (SProxy l))
where PersonRow is a Row. When I try to pattern match on ChangeCurrent i get cannot match constrained type. Also when I try to make the type incorrectly. like say (ChangeCurrent (Tuple 1 2))
where 2 isnt even a symbol. i dont get any errors but when i try and when i pattern match i do?