Faster Json rendering from Lift representation