Use names instead of functions for fresh binders