Error message for undefined type constructor.
Simple but comprehensive non-numerical existential types example.