Whats a one liner to describe the Y-Combinator to someone new to FP?<p>'An generic implementation of a fixed point attractor'<p>Hmm.. not quite it.<p>um.. 'DSEL's ? no-one calls them that.. 'DSL' has taken hold, although overloaded somewhat [eg graphical symbol set over UML, or language-in-a-language, the conventional meaning]