(риторический вопрос) кто-нибудь знает, какой смысл, что Either extends Product? Т.е. это, конечно, есть такой способ строить конечные копределы, но... тут-то оно к чему.