type

Dynamic casting library with support for arbitrary rank type kinds.

By default kinds which contains maximum of 8 stars (*) are supported, for example: * -> (* -> *) -> ((* -> *) -> *) -> * -> *. By recompiling the library one can support even more complex types. However be aware that the amount of code generated increases exponentially.