> this extension doesn't do what they want It seems that you are the one wanting Linear types to be Uniqueness types instead. > no one bothered working throug

> this extension doesn't do what they want It seems that you are the one wanting Linear types to be Uniqueness types instead. > no one bothered working through all the ugly details like exception handling in the context of a real application. Citation needed? > it's absolutely going to make the library ecosystem permanently worse, as lots of packages will get linearity annotations added > Lots of forks will arise without them, for the people who don't want the hassle How would the situation be different for Uniqueness types?