import Data.Array.Vector
main = print . head . toList . fromList $ replicate 1 (7::Int)