You do not in general decide whether two types are equivalent. You prove it...