- event1 :: Typeable a => w -> Event w (a -> IO ()) -> NetworkDescription (Event a)
- event0 :: w -> Event w (IO ()) -> NetworkDescription (Event ())
- behavior :: w -> Attr w a -> NetworkDescription (Behavior a)
- data Prop' w = forall a . (Attr w a) :== (Discrete a)
- sink :: w -> [Prop' w] -> NetworkDescription ()