Working on an example to show inference over implicit rendering.