open-witness-0.3.1: open witnesses

Safe HaskellNone
LanguageHaskell2010

Data.OpenWitness.Typeable

Description

This is an approximate re-implementation of Data.Typeable using open witnesses.