[Haskell-cafe] Higher Kinded Void

Anupam Jain ajnsit at gmail.com
Thu Jun 25 14:20:38 UTC 2015

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

More information about the Haskell-Cafe mailing list