[jpcooper]

Uniqueness types are a way to get around monads.

[wyager]

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