Progress on 'applicative' exercises
Finish 'applicative' exercises