// adapted from LH test vector2.hs

constant foo : (func(1, [@(0); @(0)]))

bind 6 foo : {VV : func(1, [@(0); @(0)]) | []}