Using a custom json encoder (lazy strings)