For example we can write typeclass instances for `...

# arrow

[simon.vergauwen]

For example we can write typeclass instances for Option which allows Arrow users to write powerful polymorphic abstractions.