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