Test functor lookup; rearrange OneAnd implicits to satisfy.