Quadratic types: when f(x) = kx2