05/monad: Kleisli, Free
Idris: forgotten files
Labs/05: start