T5795.hs:9:6:
    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