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}}に変更することを願っています。