[ivanbakel]

I'm talking about uniqueness typing. It's similar to linear types, but not the same. If you search the term, you can find a few research papers from Dutch universities, particularly around Clean, a programming languages which uses uniqueness typing instead of monads for IO.

[creata]

Thanks. I'm aware of that, but I can't find any such efforts for Haskell in particular.