import Data.Array.Vector
main = print . sumU $ consU (10::Int) (singletonU 2)