It draws from the (growing in popularity) approach of tagged unions/result types among many languages, but generalizes it a bit and makes it easier to use in an ad-hoc manner.