Language.Haskell.TH.KindInference