> Is there anything like a linear state monad? Yes! Tweag has a blog post[0] on how there are two different kinds of Functor, linear and non-linear, and in tur

> Is there anything like a linear state monad? Yes! Tweag has a blog post[0] on how there are two different kinds of Functor, linear and non-linear, and in turn, variants of Applicative and Monad. [0] https://www.tweag.io/blog/2020-01-16-data-vs-control/ https://www.tweag.io/blog/2020-01-16-data-vs-control/