Cascade.Product

data ProductM m ts

type Product

(*:)

type family RInitProducts ts ts' :: [*]

pushes

recordW

record