This information lives in the type signature