Comment by lonelappde

Can a dependently typed list be used in the common case where the length of the list is not known at compile time?