Module type Spec.S