simplification: konst k . _ == konst k