Next steps forward for a stable Template Haskell