Fill in the same argument for all items (available for a single argument as
Data.Combinators.reflex)
Create a vect of a given length from the arguments given.
Apply a function over a vector to our new type
on
generalized to any number of arguments
(.) generalized to any number of arguments.
Repeated endofunction application
Repeated function application