Play 10-4 Episode 25: Fixing PIA Pains with Type Equivalence