added test for types that are identical after erasure