Julia: 유형 매개변수의 튜플에 있는 TypeVars

julia> type Foo{N} end

julia> Foo{(true, true)}
Foo{(true,true)}

julia> typealias Bar{N} Foo{N}
Foo{N}

julia> Bar{(true, true)}
Foo{(true,true)}

julia> typealias Baz Foo{(true, true)}
Foo{(true,true)}

julia> typealias Quuz{M, N} Foo{(M, N)}
TypeError: Foo: in parameter, expected Type{T}, got Tuple{TypeVar,TypeVar}

예, 튜플 유형이 아니라 튜플이어야 합니다. @Keno를 비난

나는 이것이 지원되지 않을 것으로 완전히 예상하지만 @Keno 가 (true, false, false) 를 Tuple{Val{true}, Val{false}, Val{false}} 로 변경하기를 바랍니다.