Control.Arrow.Transformer.CoState

data CoStateArrow s a b c