Returns a step with the empty value.
A step that returns the given parameters.
Create a Step
by providing a function that takes in some state and parameters and returns a tuple of
the output state and the result.
A step that succeeds with a unit value.