4 ms·You do not in general decide whether two types are equivalent. You prove it...by jonsterling 11y agoYou do not in general decide whether two types are equivalent. You prove it...