You should check out the dynamic nature of Typeable. "The module Data.Dynamic us...

		Dewie on May 18, 2014 \| parent \| context \| favorite \| on: Type checking in Python You should check out the dynamic nature of Typeable. "The module Data.Dynamic uses Typeable for an implementation of dynamics." http://hackage.haskell.org/package/base-4.7.0.0/docs/Data-Ty...