and we supply the `Applicative` instance explicitl...

# arrow

[Bob Glamm]

and we supply the Applicative instance explicitly instead of having the compiler try to find a Monad instance