10.Answer

If self and G both satisfy the laws, then so does the composite. The full proof of the laws can be found at: https://github.com/runarorama/sannanir/blob/master/Applicative.v