detached kind checking