flesh out Day convolution in P => Set