use iota and kappa for kinds