new-typeable, new cast?

Shachaf Ben-Kiki shachaf at
Sun Jul 21 04:09:36 CEST 2013

On Mon, Mar 4, 2013 at 11:12 AM, José Pedro Magalhães <jpm at> wrote:
> Hi,
> On Mon, Mar 4, 2013 at 4:51 PM, Richard Eisenberg <eir at> wrote:
>> Unless I'm missing something, this all looks very straightforward. The
>> implementation is there, already, in the guise of (gcast Refl). We would
>> just shuffle the definitions around a bit. Am I indeed missing something?
> I think that is the case indeed. Though I agree that it would be a nice
> addition to Data.Typeable.

This thread is a few months old now, but it looks like people were
generally in favor of adding (gcast Refl) to Data.Typeable. I've used
it in real code in at least one place since then (where I just defined
it locally). It doesn't look like it's actually been added, though --
is it planned to go into HEAD eventually?


More information about the Libraries mailing list