I think it's because the y-combinator needs to be passed to itself as an argument, and it's hard to come up with a static type for a function where one of the p

I think it's because the y-combinator needs to be passed to itself as an argument, and it's hard to come up with a static type for a function where one of the parameters is the type itself.