Generalize the type of for_ to take an 'a' as a first parameter instead of
an Int.