[Haskell-cafe] Higher Kinded Void

[Anupam Jain]

On Friday, June 26, 2015, Tom Ellis <
tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk> wrote:

> 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)



Yes that's perfect! Thanks!

-- Anupam



-- 
Sent from my hyper-communicator
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150627/ae27d722/attachment.html>