Theorem foo (_ : nat) (H : bool) : bool.
Proof. exact H. Qed.