::: map ::: next >>