Function application, desugaring of them and transitive imports plus dot
qualifcation of names