! no big deal, I'm sure this has popped up somewhere else ! inspired by Smullyan's "Satan, Cantor, and Infinity" : norm ( [ P ] -- [ [ P ] P ] ) dup [ [ ] curry ] dip compose ; [ [ norm ] norm ] ! evaluates to itself when "called"