bind 0 foo : {VV : func(0, [func(0, [int])]) | []}