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.