I mean OCaml… But the issue is more the monkeys bashing out the language wanting to A. set a type for their exported function and B. know what type whatever function they’re using is supposed to take so it doesn’t randomly break as they gave it some random type that was formerly compatible