use drop, tail and take from Data.Vec in examples