Std.Sub Std.Sub — TEA-side inbound subscriptions (Layer 3 Sky source). Values batch : List (Sub msg) -> Sub msg `batch subs` — combine multiple subscriptions into one. Composes every : Int -> msg -> Sub msg `every intervalMillis msg` — dispatch `msg` every none : Sub msg subscribeTopic : String -> (any -> msg) -> Sub msg `subscribeTopic topic toMsg` — receive pub/sub broadcasts on