@type t() :: %Wyvern.Instruction.ExtractValue{
  aggregate: Wyvern.Value.t(),
  dest: Wyvern.Instruction.Types.destination(),
  id: reference(),
  index_list: [non_neg_integer()],
  value_type: Wyvern.Type.t()
}