higher order f[n]
runt time poly morphism through multi methods params and keywords
lazy sequences iteration