@techreport{RR-04-19, title = "Typing Template Haskell: Soft Types", author = "Ian Lynagh", year = "2004", institution = "Oxford University Computing Laboratory", month = "October", number = "RR-04-19", }