Failures we don't model correctly

Guards, validation, error handling — we all do it. We throw exceptions, return null, wrap values into...