3 ms·
Start with the spelling. :) data GADT a where Constructor0 :: Field a -> Field b -> GADT (a, b) Constructor1 :: ... ...
by mikeplus48 14y ago
Start with the spelling. :)
data GADT a where
Constructor0 :: Field a -> Field b -> GADT (a, b)
Constructor1 :: ...
...