that would be your final `F` if you write the alge...
# arrow
r
that would be your final
F
if you write the algebras using the type classes such as
Applicative
etc.