Text this: Parametricity for Nested Types and GADTs