In the Kleisli adjunction we have:
$G\varepsilon F = \mu$ where $\varepsilon$ is a natural transformation called the counit.
How exactly is $G\varepsilon F$ defined? I understand $G\varepsilon$ and $\varepsilon F$ but not the sandwiched form.
Followup question: Counit of the Kleisli adjunction