open-witness-0.3.1: open witnesses
Data.OpenWitness.Typeable
Description
This is an approximate re-implementation of Data.Typeable using open witnesses.