f# - F# 中的参数化判别联合

Question

可能重复：
带函数应用的类型化抽象语法树

我想要以下

type t<'a>=
  | Val of 'a
  | Apply of (('a -> 'b) -> t<'a> -> t<'b>) * t<'a>
  | Apply2 of (('a -> 'b -> 'c) -> t<'a> -> t<'b> -> t<'c>)* t<'a> * t<'b>

也就是说，Apply接受一个函数和 at，并将 f 应用于 的“内容” t。

但是它要求有t<'a, 'b, 'c>，这意味着我必须为所有使用三个参数t<_>。有没有办法绕过它？

非常感谢您的见解