coapplicatives are the monoids of contravariant Day convolution