|
1
4
我想这就是你想要的。
首先,使用eta扩展(
|
|
|
2
3
为了便于键入,假设定义了以下类型别名:
或者这个:
它们都具有上述类型的
|
|
|
3
1
有两个功能,
|