Tests are existentially quantified, types are universally quantified.
(Yeah, existential types, I know. Shut up. ;) )