unify deconstruct checks type for variable