Library for representing the (typed) result of a computation - View it on GitHub