functype_vec(chunk)

    vec(&functype/1).(chunk)

    typeidx_vec(chunk)

    vec(&typeidx/1).(chunk)

    table_vec(chunk)
  end
  defp table_vec(chunk) do
    {length, rest} = u32(chunk)
    do_table_vec(length, rest)
  end
  defp do_table_vec(length, chunk) do
    do_table_vec(length, chunk, [])
  end
  defp do_table_vec(0, chunk, acc) do
    {acc |> Enum.reverse(), chunk}

    vec(&tabletype/1).(chunk)

  defp do_table_vec(length, chunk, acc) do
    {table, rest} = tabletype(chunk)
    do_table_vec(length - 1, rest, [table | acc])
  end

  end
  defp typeidx_vec(chunk) do
    {length, rest} = u32(chunk)
    do_typeidx_vec(length, rest)
  end
  defp do_typeidx_vec(length, chunk) do
    do_typeidx_vec(length, chunk, [])
  end
  defp do_typeidx_vec(0, chunk, acc) do
    {acc |> Enum.reverse(), chunk}

  defp do_typeidx_vec(length, chunk, acc) do
    {index, rest} = u32(chunk)
    do_typeidx_vec(length - 1, rest, [index | acc])
  end
  defp functype_vec(chunk) do
    {length, rest} = u32(chunk)
    do_functype_vec(length, rest)

  defp vec(type) do
    fn chunk ->
      {length, rest} = u32(chunk)
      do_vec(type, length, rest)
    end

  defp do_functype_vec(length, chunk) do
    do_functype_vec(length, chunk, [])

  defp do_vec(type, length, chunk) do
    do_vec(type, length, chunk, [])

  defp do_functype_vec(0, chunk, acc) do
    {acc |> Enum.reverse(), chunk}

  defp do_vec(_type, 0, rest, acc) do
    {acc |> Enum.reverse(), rest}

  defp do_functype_vec(length, chunk, acc) do
    {func, rest} = functype(chunk)
    do_functype_vec(length - 1, rest, [func | acc])

  defp do_vec(type, length, chunk, acc) do
    {v, rest} = type.(chunk)
    do_vec(type, length - 1, rest, [v | acc])

  end
  defp typeidx(chunk) do
    u32(chunk)