T5795.hs:9:7: error:
    • GHC stage restriction:
        ‘ty’ is used in a top-level splice, quasi-quote, or annotation,
        and must be imported, not defined locally
    • In the untyped splice: $ty