Control.Arrow.Notation