Added implicitly() use-case to Implicit Examples