eauto with typeclass_instances