Roundtrip via GHC works for one example