Concepts are a functional kind