the head of an expression might very well be another function application