11 ms·
By floating the forall., we get another representation type for Void (forall a. a) and `absurd' is one half of that isomorphism :) absurd :: Void -> (foral
by Iceland_jack 2y ago
By floating the forall., we get another representation type for Void (forall a. a) and `absurd' is one half of that isomorphism :)
absurd :: Void -> (forall a. a)
drusba :: (forall a. a) -> Void
drusba void = void @Void