I was doing some research into linear types and came across this comment on HN. Specifically, it says that in
(Clean, ATS, etc ...), linear types are used to encode side-effects, as an alternative to monads.
What does this mean? How are linear types a replacement for monads?