Text this: Transpension: The Right Adjoint to the Pi-type