- dupA :: Arrow a => a b (b, b)
- curryA :: Arrow a => a ((b, c) -> d) (b -> c -> d)
- uncurryA :: Arrow a => a (b -> c -> d) ((b, c) -> d)
- swapA :: Arrow a => a (b, c) (c, b)
- liftA2 :: Arrow a => (b -> c -> d) -> a e b -> a e c -> a e d
- idA :: Arrow a => a b b
- fstA :: Arrow a => a (b, c) b
- sndA :: Arrow a => a (b, c) c