Experimental library using modular implicits