Are you sure you would like to report the following quote?
< jedin> in this case fun is a bound variable.