Add Category, Arrow and ArrowTransformer instances
Add an explicit implementation of (***)
Add an explicit &&& implementation
Add explicit ArrowZero and ArrowPlus instances
Add simple ArrowChoice instance