ekmett/kan-extensions — pull request #9 by pcapriotti (2014-10-03 17:25:04+00:00)
Title: 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).