Control.Monad.Signal
data
Signal
sigs a
signal
liftSignal
data
SignalT
sigs m a