yes, correct, but ReasonML is abandoned, while there is still some traction in Rescript and it offers the same type safety.