Combinator-based type-safe formatting (like printf() or FORMAT), modelled from the HoleyMonoids package.