experimented with kinds-only analysis