4 ms·
> I don't believe the current version covers GADTs, type families Indeed it does not currently cover that.
by cies 10y ago
> I don't believe the current version covers GADTs, type families
Indeed it does not currently cover that.
loading thread…