Section S.
  Variable A : Type.
  Require Hurkens.
  Definition foo := Hurkens.Generic.paradox A.
End S.