Proposal: Add Data instance for Const

Eric Mertens emertens at gmail.com
Wed Nov 2 15:41:47 UTC 2016


> On Nov 2, 2016, at 8:40 AM, Ryan Scott <ryan.gl.scott at gmail.com> wrote:
> 
> GHC Trac #12438 [1] exists because there's no Data instance for Const
> in base. I found this quite surprising, since we have Data instances
> for just about every other type combinator out there (Identity, Sum,
> Product, Compose, etc.), but not for Const. The fix for #12438 would
> be quite simple: I propose we add
> 
>    deriving instance (Data a, Data b) => Data (Const a b)
> 
> to Data.Data in base. Any objections?

Seems like an oversight worth correcting to me.

-- 
Eric


More information about the Libraries mailing list