At the moment all arguments to a procedure must be supplied when the procedure is called. This may be inconvenient in practice, especially once we add iterators (#516).

We currently have no typing rules for this sort of behaviour.