ADP.Fusion.Core.TH
makeAlgebraProduct
(<||)
(**>)