better modular implicits demo