List-like structures with static restrictions on the number of elements (fork of thielema's non-empty)