For the sequential composition of tasks we only have to look at the refresh rate of the current task on the left.
The sequential composition operator \cleaninline{>>\|.} in \cref{R:seq} is similar to the monadic sequence operator \cleaninline{>>\|}.
The operator \cleaninline{>>=.} in \cref{R:bind} provides the stable task result to the function on the right-hand side, similar to the monadic bind.
The operator \cleaninline{>>~.} steps on an unstable value and is otherwise equal to \cleaninline{>>=.}.
The step combinator \cleaninline{>>*.} in \cref{R:step} has a list of conditional actions that specify a new task.
For the sequential composition of tasks we only have to look at the refresh rate of the current task on the left.
The sequential composition operator \cleaninline{>>\|.} in \cref{R:seq} is similar to the monadic sequence operator \cleaninline{>>\|}.
The operator \cleaninline{>>=.} in \cref{R:bind} provides the stable task result to the function on the right-hand side, similar to the monadic bind.
The operator \cleaninline{>>~.} steps on an unstable value and is otherwise equal to \cleaninline{>>=.}.
The step combinator \cleaninline{>>*.} in \cref{R:step} has a list of conditional actions that specify a new task.