3 ms·

Uniqueness types are a way to get around monads.

• wyager 5y ago
  Linear types let you safely do effect sequencing/mutation without monads, but I don’t think it extends much beyond that.