simplify implicits