Decomposition1

case

class Decomposition1[X1, X2, Y1, Y2, Z1, Z2, Z](f1: X1 ~⚬ Y1, f2: X2 ~⚬ Y2, g: TransferOpt[Y1, Y2, Z1, Z2], ev: Z1 |*| Z2 =:= Z)

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Value members