scala – 将双子座提升为一个函子

假设我们有两种类型的双射：

case class Foo(x: Int)
case class Bar(i: Int)

import scalaz._,Scalaz._,BijectionT._

val fb: Foo <@> Bar = bijection[Id,Id,Foo,Bar](
  foo => Bar(foo.x),bar => Foo(bar.i)
)

现在假设我们发现我们需要List [Foo]和List [Bar]之间的双向。我们可以轻松地编写一个提供此功能的隐式类(实际上我们也可以使其适用于任何函子)：

implicit class BijectionLifter[A,B](val bij: A <@> B) extends AnyVal {
  def liftInto[F[_]: Functor]: F[A] <@> F[B] = bijection[Id,F[A],F[B]](
    _ map bij.to,_ map bij.from
  )
}

请注意，这是Haskell的Data.Bijection的bimap的简单翻译.Scalaz的双射还有一个名为bimap的方法，但它有一种繁忙的类型，似乎没有以任何明显的方式做我想要的。

现在我们可以写下列内容：

fb.liftInto[List]

我们已经有了我们需要的双赢。

我错过了一些抽象，这将使我有可能更清晰地写出在Scalaz 7中已经提供的双重对象的功能和实例？