2023-06-ghc-workshop-rts-talk