Add Applicative instance for Day

The Day convolution of two applicative functors is applicative.  This is a
specialisation of the general fact that the product of two monoids is a monoid
(in a symmetric monoidal category).