Dynamic

Dynamic types allow for checking types and converting between types at run-time in a type-safe way. This is in particular useful for existential types. See the module Data.Dynamic.

This article is a stub. You can help by expanding it.