Recursive typedef

[Markus Dangl]

Karen Lanrap schrieb:
> I do believe that there cannot be a typesafe way to define a type 
> that is recursive in itself, but I have not tried to prove that.
> 

I think i remember something similar about recursive function types from 
one of my lectures... ("a->b->a" is not possible because "(a=>b)=>a" 
cannot be proven or sth like that)

But this is a workaround:
---
interface ParseFn
{
     ParseFn opCall(char[]);
}
---

I don't really understand why this makes such a big difference for the 
type system, because it seems really equivalent.