Type instability in recursion

Why would using a type parameter kill compile time? I don’t think that’s a major compile time bottleneck.