start with values test
let map take End => A instead of Traverser[End] => A