Control.Arrow.Transformer.CoState
data
CoStateArrow
s a b c