Actually, we should just have a clean datatype that knows how to print itself :-p