There are a number of examples from logic.
Many-sorted first-order logic with 0 sorts is propositional logic. A 0-ary function symbol is a constant symbol, and a 0-ary relation symbol is a proposition. These “degenerate” cases are actually quite interesting and important.