为什么当我尝试使用 SKI-calculus 中的“S I I”实现递归时，Rust 会失败？

问：

注意：我从这里获取了定义：https://en.wikipedia.org/wiki/SKI_combinator_calculus#Informal_descriptionSI

所以，或者在 Rust 中：S xyz = xz(yz)

fn s <Z, Y, X> (
    x: fn(Z) -> fn(Y) -> X,
    y: fn(Z) -> Y,
    z: Z
) -> X
where Z: Copy
{
    x(z)(y(z))
}

我们再定义一个辅助：I x = x

fn i <X> (x: X) -> X { x }

我知道那是（我实际上试图解决的问题是找到一种适用于自己的类型），但是我们不要成为那个通用的rn并尝试使用。S I I xx(x)xxS I I I

明显地S I I I = I(I)(I(I)) = I(I) = I

let _ = s(i, i, i); // = i(i)(i(i)) = i(i) = i

这在我眼中是合法的，但在编译器中却不是：

error[E0308]: mismatched types
  --> src/main.rs:45:18
   |
45 |     let _ = s(i, i, i);
   |             -    ^ cyclic type of infinite size
   |             |
   |             arguments to this function are incorrect
   |
note: function defined here
  --> src/main.rs:32:4
   |
32 | fn s <Z, Y, X> (
   |    ^
33 |     x: fn(Z) -> fn(Y) -> X,
34 |     y: fn(Z) -> Y,
   |     -------------

我找到了一个“解释”，即发生此错误是因为 rustc 无法应对某些不可计算的类型。这是有道理的，但我在这里没有看到任何上述类型的例子。你能告诉我它发生在哪里（以及如何解决它，如果可能的话）？