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