TY - RPRT TI - A Specification for Typed Template Haskell AU - Matthew Pickering AU - Andres Löh AU - Nicolas Wu PY - 2021 UR - https://arxiv.org/abs/2112.03653 ID - 2112.03653 ER -