module ArrowTools(module ArrowTools, module ArrowTypes, 
	          module Parenthesis, module Arrow) where
import Arrow
import Parenthesis
import ArrowTypes

updateStateArrT :: Arrow q => q s s -> StateArrT s q a a
updateStateArrT f = StateArrT (second f)

bottom :: Arrow a => a b c
bottom = error "bottom"