case class SemiSnoc[A, X1, X2, Y2, Z2, B1, B2](init: Plated[A, X1 |*| X2], t: RevTransferOpt[X1, X2, B1, Y2], s: Y2 ~⚬ Z2, semiLast: Plated[Z2, B2]) extends Plated[A, B1 |*| B2] trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any