fixed functional arrows