baby step toward printing arbitrary types