Actually the dependent type view gives clarity to thinking of type level functions, like container types parameterized over an element type.