:: (a, b) package:hxt

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