I am not so sure about this. I think `Implicit Arguments` is confusing, especially for a beginner. These are exercises, let them explicitly mark implicit arguments.