A type class that describes how to efficiently render a type
the type which will be rendered
Renders the object to the writer
object to render
Writer to render to
the same Writer provided