Mux1H converts aggregates to UInt, muxes, then converts back which can look like a cominational loop.