fix(init/coe): fix `lift_list` (#626)
fix(init/coe): fix `lift_list` (#626)

This should not (significantly) weaken the generality of this instance, while fixing loops in the search.

Zulip thread: https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/typeclass.20loop.20in.20lift_lift.20and.20option

Co-authored-by: Floris van Doorn <240eaf9b7dd8bf34824fa6213c6ea24402f09b79@andrew.cmu.edu>

leanprover-community/lean,leanprover-community/lean,leanprover-community/lean,leanprover-community/lean,leanprover-community/lean,leanprover-community/lean