Detecting common elements of types.

Manfred Widera Christoph Beierle Detecting common elements of types. 173-184 2000 conf/sfp/2000 Scottish Functional Programming Workshop db/conf/sfp/sfp2000.html#WideraB00