rank1dynamic

Like Data.Dynamic/Data.Typeable but with support for rank-1 polymorphic types.

Data.Typeable and Data.Dynamic only support monomorphic types. In this package we provide similar functionality but with support for rank-1 polymorphic types.