On Friday, June 26, 2015, Tom Ellis <<a href="mailto:tom-lists-haskell-cafe-2013@jaguarpaw.co.uk">tom-lists-haskell-cafe-2013@jaguarpaw.co.uk</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Thu, Jun 25, 2015 at 07:50:38PM +0530, Anupam Jain wrote:<br>
> data VoidF a<br>
> instance Functor VoidF where<br>
>   fmap = undefined<br>
><br>
> Is there a reason something like this is not in the package void?<br>
> Perhaps we could even have Void1 with kind * -> *, Void2 with kind *<br>
> -> * -> * etc.<br>
<br>
You could use 'Const Void', 'Const (Const Void)' etc..<br>
<br>
(Const is in Control.Applicative)</blockquote><div><br></div><div><br></div>Yes that's perfect! Thanks!<div><br></div><div>-- Anupam</div><div><br></div><br><br>-- <br>Sent from my hyper-communicator<br>