Is there a way to retrieve "source annotations" (as defined by https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/extending_ghc.html#source-annotations) during type checking. In particular, I am interested in reading them in TcExpr and TcCanonical.