Hi all,

I just came up with this neat trick for adding static checks to overloaded strings: https://gist.github.com/chrisdone/809296b769ee36d352ae4f8dbe89a364

Hope it's helpful.

I wonder whether the GHC devs would be open to a small patch to permit: $$"..."

:-)

Cheers,

Chris