you can have applicative over map...for a single k...
# arrow
p
you can have applicative over map...for a single key