Module type System.S