This is an approximate re-implementation of Data.Dynamic using open witnesses.
The Dynamic
type
Converting to and from Dynamic
fromDynamic :: forall a. Typeable a => Dynamic -> Maybe aSource
Applying functions of dynamic type
dynTypeRep :: Dynamic -> TypeRepSource