Mention that function types aren't a new idea.