Here is something Category-Theorists like: it is trivial, but not trivially trivial.