the type you put on the applicative call is the on...
# arrow
p
the type you put on the applicative call is the one that's on the left side