Registre de correu electrònic: Relational Parametricity for Computational Effects