And it is also sound like a Free Applicative Funct...
# arrow
t
And it is also sound like a Free Applicative Functor to me