mark Data.Var.Array Trustworthy