Typed Template Haskell missing utilities provided by untyped variant
Currently typed TH feels a bit second-class as it lacks a number of handy utilities which are provided in the untyped case. In my brief look at this I encountered the following,
type TExpQ a = Q (TExp a)
stringT :: String -> TExpQ String
trueT, falseT :: TExpQ Bool
Names still need bike-shedded.
Of course, another reasonable option would just be to rather push users to instead use quotes.