free types in type constraints will appear as type parameters in wrong order

[fridis]

Take this example with type parameters Q and R

x(a Q : Sequence R) => say "Q $Q R $R"
x [1,2,3]
x i32 (array i32) [1,2,3]

it works

 > ./build/bin/fz test_free.fz 
Q Type of 'array i32' R Type of 'i32'
Q Type of 'array i32' R Type of 'i32'

but it is surprising that in the call without type inference x i32 (array i32) [1,2,3], the actual argument for R, which is i32 has to come before that for Q even though in the declaration, the order to the free types is Q before R.