I also dislike the use of fun<T>(a:T b:T)->T because it make look weird. How about: fun(a:$T b:$T) -> $T //to look like templating fun(a::T b::T) -> :

I also dislike the use of fun<T>(a:T b:T)->T because it make look weird. How about: fun(a:$T b:$T) -> $T //to look like templating fun(a::T b::T) -> ::T //to look like "a type but depper" fun(a:_T b:_T) -> _T //to look like "a type hole" mmm... I like more the third :)