small start toward something about normal combinators and not just vectors of a certain type