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

Indicates that the request does not match the current handler.
An empty Graph.
the zero arrow, alias for zeroArrow
read the complete state, ignore arrow input definition: getState = accessState (\ s x -> s)