Comment out 'bad' examples that are not supposed to typecheck.