Jashweii

https://github.com/tweag/linear-base/issues/130#issuecomment-1095360774 The variable in ST may as well be a type level witness of the particular runST call (and hence state thread), since from the users perspective it could be...

>https://github.com/tweag/linear-base/issues/130#issuecomment-1152974825 I only just realised that not returning Ur isn't actually sound even if you don't need any clean up, since you can then duplicate the applied scope function e.g....

Wouldn't %0 introduce order of evaluation problems for the places using in place mutation? What if you destroy an internally used buffer for example then query it, or create a...

I don't see how it's clear, wouldn't something like this be allowed? ```Haskell -- x :: X %1 -- observe0 :: X %0 -> B -- modify1 :: X %1...

That's not intuitive to me at all to both make order of evaluation relevant **and** have the compiler silently re-arrange uses, plus what if there is something polymorphic in multiplicity...

Maybe in another language (though I don't know any that would re-arrange when order matters like that) but it's not exactly what would happen in Haskell, and linear types and...

In the example above, getting the tuple out of the result does not cause any of the mutation or observation to actually occur if observe0 or modify1 returns a lifted...

Is there a reason for only derived instances rather than all instances, like :instances in GHCi? ``` ghci> :instances Int instance Foreign.Storable.Storable Int -- Defined in `Foreign.Storable' instance GHC.Bits.Bits Int...

> > Also, class constraints on local type variables? > > Not sure about that, an example here? Like ``a`` in these examples though I guess it isn't necessarily restricted...

> I took a look yesterday but didn't find an entrance about deriving info from typechecked source, glad to hear some hints. This might help, GHCi has a `:instances `...