A type that can be passed around to accumulate errors.
Default constructor for an error type.
The newly constructed error type