I agree with you although I think that's an unlikely scenario. kibit, so far as I understand it, is a pattern matching solution that can replace one structure

I agree with you although I think that's an unlikely scenario. kibit, so far as I understand it, is a pattern matching solution that can replace one structure with another - more idiomatic - structure. It doesn't add anything and, hence, can't actually solve your problems for you.