Internal Parametricity, without an Interval. - Thorsten Altenkirch; Yorgo Chamoun; Ambrus Kaposi; Michael Shulman (Proc. ACM Program. Lang., 2024)