No, I have not. My experience is mostly with Yesod and Django. If progressive enhancement is truly a zero-overhead solved problem in these other frameworks that

No, I have not. My experience is mostly with Yesod and Django. If progressive enhancement is truly a zero-overhead solved problem in these other frameworks that certainly sounds very interesting though.