B blog.tweag.io Linear types make performance more predictable 163 points eatonphil 9 years ago 94 comments