On: Linear types make performance more predictable

[bitwize]

Obviously the solution is to encode success into the type system, such that functions which increase the chance Haskell will become a mainstream programming language fail to type-check.