Handle bad type constraints with aplomb