eQuad is sum type and not a product one

[nhenin]

Thank you for this btw :-)

[dwayne]

@nhenin Thanks for the correction.

For anyone wondering why it's correct here's the reasoning: eQuad can be one of Right One, Right Two, Right Three, Right Four, Left One, Left Two, Left Three, Left Four.