Module type Recent.S