:: (a, b) -package:arrows package:hxt

the zero arrow, alias for zeroArrow
read the complete state, ignore arrow input definition: getState = accessState (\ s x -> s)