Implement existential types (not for associated types yet) r? @nikomatsakis cc @Centril @varkor @alexreg
PartialEq