Lava.Signal
data Signal a
data Symbol
data S s