同构类型的cats类型类

我应该使用什么cats typeclass来编码这两种类型是同构的(即可以在没有效果的情况下来回转换)

我要将类型的分解编码为其他两个类型的元组: A <=> (B, C)

显然,typeclass应该为转换的每个方向公开这两个函数,理想情况下还应该公开隐式方法以方便转换。 像这样:(但没找到)

trait Iso[A,B] {
  def to(a: A):B
  def from(b: B): A
}