and in those langs its trivial and very common to make even more elaborate return/result types containing a very precise representation of all possible result c

and in those langs its trivial and very common to make even more elaborate return/result types containing a very precise representation of all possible result categories.