Like Data.Dynamic and Data.Typeable but supporting polymorphic values - View it on GitHub