Linear types let you safely do effect sequencing/mutation without monads, but I don’t think it extends much beyond that.