GADTs, Functoriality, Parametricity: Pick Two