// adapted from LH test vector2.hs

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