Type: [[Some]], [[Times]]