Comment by lyxsus

Isn’t it similar to linear types in haskell?