Hi,
> Incredible work! Out of curiousity, are there any plans to add
> support for server push to the WAI interface? Or is there a way to
> do it already that I don’t realize?
Sorry for this late response. I was in summver vacation.
Please give a look at this issue:
https://github.com/yesodweb/wai/issues/402
I explained some ideas.
--Kazu
