[Haskell-cafe] Higher Kinded Void
ajnsit at gmail.com
Thu Jun 25 14:20:38 UTC 2015
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
More information about the Haskell-Cafe