use for static julia type utils

type_sort1.jl

function sort_type(ts :: Vector{Type})
    n = length(ts)
    if n == 1
        ts
    elseif n == 2
        a, b = ts[1], ts[2]
        if a <: b
            [a, b]
        elseif b <: a
            [b, a]
        else
            error("overlapping types $a ~ $b")
        end
    else
        hd = ts[1]
        gt = Type[]
        lt = Type[]
        eq = Type[hd]
        for each in ts[2:end]
            arr = if each == hd
                eq
            elseif each <: hd
                lt
            elseif each >: hd
                gt
            else
                error("overlapping types $hd ~ $each")
            end
            push!(arr, each)
        end
        # [a;b] is array concat
        [sort_type(lt);eq;sort_type(gt)]
    end
end