AF is just the context so the function know that "...
# arrow
j
AF is just the context so the function know that "kind" of applicative it's in?