At least linear types means you'll never forget it. It also solves the problem of what to do when your destructor needs to error (e.g. closing a file). The bi

At least linear types means you'll never forget it. It also solves the problem of what to do when your destructor needs to error (e.g. closing a file). The big downside is the verbosity of covering every branch of your code with your explicit close calls unless another mechanism is provided. And it doesn't seem like succinctness is a top priority for this language.