dict-C<List Int>:
{dictionary
    bar: <> undefined
    foo: foo@(dict-S<List a[2]> dict-S<Int>)
}
dict-S<List a[2]>:
\d[-8] -> {dictionary
              foo: <(d[-8], d[-3])> undefined
          }
dict-S<Int>:
{dictionary
    foo: <> 1
}