I just sort of abstract over the specifics of the implementation of arrows and assume there is an arrow that denotes the 'kind' of arrow. Does it express a mon

I just sort of abstract over the specifics of the implementation of arrows and assume there is an arrow that denotes the 'kind' of arrow. Does it express a monotonic function (order preserving), does it express a non monotonic function (permutation of elements, ordering of computation of 'typical' threads). It groups functional operations into kinds that you can make assertions about after a selection of the operations have been performed. Haskell does - add :: Integer -> Integer -> Integer so the compiler can check all the branches of code to ensure that statement is invariant.