Result type

A type that stores either a successful value or a typed failure value for later inspection.