rzk-0.11.0: test/typecheck/cases/ill-repeated-binder-pair.rzk

#lang rzk-1

#define bad (A : U) (p : A) : A
  := (\ (x , x) → x) p