Text this: Relational Parametricity for Computational Effects