(* Error message was not printed in the correct environment *)

Fail Parameters (A:Prop) (a:A A).