@unpublished{typingth,
    author = "Ian Lynagh",
    title = "{T}yping {T}emplate {H}askell: {S}oft {T}ypes",
    year = 2004,
    month = Aug,
    note = "URL: \url{http://web.comlab.ox.ac.uk
                      /oucl/work/ian.lynagh/papers/
                      Typing_Template_Haskell:_Soft_Types.ps}"
}