`K1 <: K` ?