3 ms·
The type constructor that's being assumed injective in the section “Deriving `absurd` with type families” is `R`.
by catnaroek 10y ago
The type constructor that's being assumed injective in the section “Deriving `absurd` with type families” is `R`.