Type mismatch with mixed array columns

[easafe]

The following query blows up at runtime whereas it should be a type error

type a = { b :: int, c :: int }
insert # into a (b /\ c) # values (3 /\ [3,  4])