Added function arrow and subtree-passing partial arrows