Am Freitag, 6. Juni 2003 15:47 schrieb Simon Peyton-Jones: > Yes, one *could* use dynamic types. But the check would always succeed! Why is that? If I overwrite an entry with a value of a different type, then the check fails. I am certainly missing something ... Cheers, Ralf