Line up kind and type variables correctly when desugaring TH brackets