Re: Proposal: Add a Void1 :: * -> * type to base

I think there was some discussion of this recently. We already have V1 in GHC.Generics; perhaps that could be given a better name. On Feb 15, 2017 6:55 PM, "Bryan O'Sullivan" wrote:

On Wed, Feb 15, 2017 at 3:31 PM, Michael Walker wrote:

...

I left this sitting alone in a Utils module until last night when I saw someone ask in #haskell if there was "a Void1 type defined in some central place". So, in case this is of more general interest, I propose that a module Data.Functor.Void be added to base.

I think the bar for adding things to base is higher than "two people found it useful"...

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries