names-0.1: Types that symbolise Names.
Data.Name.TH
name :: String -> Q ExpSource
nameT :: String -> Q TypeSource