where D are the dependencies and A is your result ...
# arrow
p
where D are the dependencies and A is your result type