参考Julia的参数类型改进Moonbit的泛型语法

[DaDaoChangxin]

Moonbit的泛型语法个人觉得挺丑的 （抱歉），能不能参考下面Julia 的函数参数类型引入一个 where把类型放在后面？

function f(a::T, b::T, c::S, d::Bool) where {T <: Int, S <: AbstractString}
# or
function f(a::T) where T <: Array

[chaihf]

感谢您提出的建议，我们将认真考虑您的建议并持续改进 MoonBit 的语法。