[Haskell-cafe] Higher Kinded Void

[Anupam Jain]

Hi all,

I currently have some code for which I require a uninhabitable
Functor. I currently just use -

data VoidF a
instance Functor VoidF where
  fmap = undefined

Is there a reason something like this is not in the package void?
Perhaps we could even have Void1 with kind * -> *, Void2 with kind *
-> * -> * etc.

I opened a github issue a few days ago but haven't received a response
from ekmett yet - https://github.com/ekmett/void/issues/9

-- Anupam