one-or-more<T> = T / [ 2* T ]