Nice, accessible discussion of linear types, giving an example where you can prevent sockets being bound and listened to at the same time: https://www.tweag.io/blog/2017-08-03-linear-typestates/