Constant types: when f(x) = k