Give Data.Functor.* its lifted void and unit
GHC.Generics
has
data V1 a
data U1 a = U1
They are simple but why are they not present in the Data.Functor
hierarchy along with functions like (from one-liner)
absurd :: V1 a -> b
absurd = \case
The package linear provides the lifted unit functor
data V0 a = V0
if they or those from GHC.Generics
should be preferred it could be added to the documentation