{F : Type u → Type v} →
  [inst : Applicative F] →
    {G : Type u → Type w} →
      [inst_1 : Applicative G] →
        {H : Type u → Type s} →
          [inst_2 : Applicative H] →
            ApplicativeTransformation G H → ApplicativeTransformation F G → ApplicativeTransformation F H