Use Signal dom () in Bwd (CSignal dom a) again

src/Protocols/Internal.hs

@@ -156,7 +156,7 @@
 
 -- | Protocol-agnostic acknowledgement
 newtype Ack = Ack Bool
   deriving (Generic, C.NFDataX, Show, C.Bundle)
 
 -- | Acknowledge. Used in circuit-notation plugin to drive ignore components.
 instance Default Ack where
@@ -204,7 +204,7 @@
 -- XXX: Type families with Signals on LHS are currently broken on Clash:
 instance Protocol (CSignal dom a) where
   type Fwd (CSignal dom a) = Signal dom a
-  type Bwd (CSignal dom a) = ()
+  type Bwd (CSignal dom a) = Signal dom ()
 
 -- | Left-to-right circuit composition.
 --
@@ -257,7 +257,7 @@
   boolsToBwd _ bs = C.repeat (boolsToBwd (Proxy @a) bs)
 
 instance Backpressure (CSignal dom a) where
-  boolsToBwd _ _ = ()
+  boolsToBwd _ _ = pure ()
 
 -- | Right-to-left circuit composition.
 --

src/Protocols/Wishbone/Standard.hs

@@ -89,7 +89,7 @@ crossbarSwitch ::
 crossbarSwitch = Circuit go
  where
   go ((route, bundle -> m2ss0), bundle -> s2ms0) =
-    (((), unbundle s2ms1), unbundle m2ss1)
+    ((pure (), unbundle s2ms1), unbundle m2ss1)
    where
     m2ss1 = scatter @_ @_ @_ @_ @0 (repeat emptyWishboneM2S) <$> route <*> m2ss0
     s2ms1 = gather <$> s2ms0 <*> route