Lifts up the two-parameter function over F.
F
The Apply instance for F.
Apply
The function lifted over F.
Lifts up the two-parameter function over
F.