Happily using Control.Arrow