test/InferTests: import Kind(..)