Fun with types and equivalences