I said that I prefer it :D And even in ML-style language, I wouldn't like a result of (Maybe result, Maybe error) and I would much prefer Result result | Pa

I said that I prefer it :D And even in ML-style language, I wouldn't like a result of (Maybe result, Maybe error) and I would much prefer Result result | Partial (result error) | Error error | Nothing These two things are the same. I still like the spelled-out version better. Especially because this gives me easier way to model different things. Consider changing my example to Result result | Partial (result error) | Error error or Result result | Error error Semantic of every one of these is different. And nicely explicit :)