Comment by jpcooper

Uniqueness types are a way to get around monads.