Module type Unit = Unit.S