LazyKBest compiles