-- * Applying functions of dynamic type
dynApply,
- dynApp
+ dynApp,
+ dynTypeRep
) where
Nothing -> error ("Type error in dynamic application.\n" ++
"Can't apply function " ++ show f ++
" to argument " ++ show x)
+
+dynTypeRep :: Dynamic -> TypeRep
+dynTypeRep (Dynamic tr _) = tr