Matches a function type application <fun: Term>[<args: List[TypeTree]>]
<fun: Term>[<args: List[TypeTree]>]