Function composition and domains