On 08/01/2011 16:00, Pelle wrote: <snip> > http://en.wikipedia.org/wiki/Fixed_point_combinator#Y_combinator <snip> How are you getting around D not supporting recursively defined types? Stewart.