Typos in [CPR for sum types]