[Haskell-cafe] run-time type testing in haskell?

[Eric]

In imperative languages one can test the type of a variable and downcast 
if necessary. Here's an example in Pseudojava:

T v := ... ;
if (v instanceof T') T' v' := (T')v

Is it possible to do something like this in Haskell?

Eric.