功能:
fn : 'a -> 'b
现在,是否有任何可以定义并具有此类型的功能？
functional-programming ml sml parametric-polymorphism
functional-programming ×1
ml ×1
parametric-polymorphism ×1
sml ×1