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