Descendent of paldepind/union-type with more descriptive error messages - View it on GitHub