...and instances of the type are an instance of th...
# development
w
...and instances of the type are an instance of the concrete union