UnsafePrimEraseEquality.agda:4,3-66
Cannot use primEraseEquality with safe and without-K flags.
when checking that the type of the primitive function
primEraseEquality is ∀ {a} {A : Set a} {x y : A} → x ≡ y → x ≡ y
