A common stuff for the pure combinators.
TODO: add some great docs.
A type alias for the pure update function.
A type alias for the pure update function.