Funtionals top & bottom arrows