Add examples with implicit
Change implicit instantiation strategy