Kind of, via effects, which is yet another way to use the type system to enforce specific kinds of execution flows.