open-typerep

This package uses Data Types à la Carte to provide open type representations and dynamic types/coercions for open type universes. Example 1 (dynamic types): Note that if we were using Data.Dynamic, it would just print Example 2 (dynamically typed addition): Data.Dynamic could only do this monomorphically, for one Num type at a time.