DI 2.0.0

Add type for k: `Key k`