Not really, as the point of affine types is that this is pushed into the type system. It has the semantics “if a thing is produced, it is consumed at most once.

Not really, as the point of affine types is that this is pushed into the type system. It has the semantics “if a thing is produced, it is consumed at most once.” I don’t see how this is any more difficult than, or really any different from regular Haskell programming.