o_Compute
{@inheritDoc}
Even though bottom is a union-y type (and the most specific one), it technically "is" also a kind (a non-union-y type). Thus, it's still technically correct to return bottom as the nearest kind. Code that relies on this operation not returning a union-y type should deal with this one special case with correspondingly special logic.