Layers
DifferentiableCoproduct
liftCCons
DifferentiableCoproduct
liftCNil
DifferentiableCoproduct