3 ms·

I've never liked this "spinny" way if defining Void I prefer data Void = Void { absurd :: (forall a. a) }