the expectation is that with the correct syntaxis ...
# arrow
p
the expectation is that with the correct syntaxis we can drop the call to
applicative()
, so it becomes