Correct-O-Types