25 Jun
2015
25 Jun
'15
3:11 p.m.
On Thu, Jun 25, 2015 at 07:50:38PM +0530, Anupam Jain wrote:
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.
You could use 'Const Void', 'Const (Const Void)' etc.. (Const is in Control.Applicative)