rank1dynamic-0.4.0: 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.