Compute the implicit tycons introduce by 'data kind'. (unchecked)