Recursive function type declarations

[sasha2048]

I can do the following:

trait M {
    def apply(): M
}

Similarly, IMHO, in perfect world, the following should work too:

type M = () => M