So if we have Bijections in scope to, say, `Set[B]` and `List[B]` and I write `.as[Iterable[B]]`, which will this pull?

Also, should this be `[A, _ <# B]` so we follow Scala's type inference?